6.47/6.50	unsat
