72.46/72.67	unsat
