6.76/9.29	unsat
