687.unisat