6.78/10.47	unsat
