72.48/72.60	unsat
