72.25/72.66	unsat
