A87.unisat