9.78/10.08	unsat
