6.76/7.96	unsat
