6.68/8.18	unsat
