Question 894287
x =< 55