2608.unisat