52.39/52.52	unsat
