0.47/0.58	unsat
