6.76/8.35	unsat
