5492.unisat