70.39/71.64	unsat
