6.06/7.60	unsat
