70.67/73.60	unsat
