69245.unisat