6.68/8.81	unsat
