2605.unisat