9.47/12.41	unsat
