2507.unisat