8.47/9.19	unsat
