0.39/0.52	unsat
