S-unit equation