05496.unisat