0.42/0.58	unsat
