A solução da equação 5x – 12 = 3 é: