69296.unisat