70.86/72.30	unsat
