Question 517931
r-13 <= 15