69241.unisat