10.47/10.50	unsat
