Just a test SATS for UNISAT