y <= (20-4x)/5