6.68/9.34	unsat
