"THEN, OF COURSE, I GOT ANOTHER UNSAT."