72.27/72.67	unsat
