2602.unisat