0487.unisat