9.47/11.38	unsat
