3927.unisat