My best UNISAT strategy