5.47/5.50	unsat
