A refinement of the abc conjecture