7.78/9.47	unsat
