69588.unisat