2406.unisat