8.47/9.29	unsat
