2906.unisat