r3654.unisat