9.78/10.73	unsat
