71.47/72.66	unsat
