1504.unisat