6284.unisat