71.92/72.12	unsat
