70.14/72.86	unsat
