2712.unisat