0.39/0.49	unsat
