9.47/9.64	unsat
