69244.unisat