70.07/72.17	unsat
