6.78/10.88	unsat
