69286.unisat