6x + 13 = 12x - 20 solutions