3.47/3.50	unsat
