70.63/72.30	unsat
