"THAT SECOND UNSAT IS SERIOUS."