9.78/10.54	unsat
