Question 421076
x =< 20