71.18/72.50	unsat
