6.68/9.81	unsat
