6.78/9.81	unsat
