9.78/12.49	unsat
