solve 2x<=20