2512.unisat