solution to 5x - 3 < 12