6.68/9.47	unsat
