8.47/8.50	unsat
