0.42/0.49	unsat
