0.51/0.58	unsat
