72.41/72.60	unsat
