solve 3x < 17