6.76/8.08	unsat
