70.69/72.91	unsat
