5.76/7.60	unsat
