70.24/72.36	unsat
