69288.unisat