0.47/0.49	unsat
