9.47/12.49	unsat
