求不等式12-5x小于或等于0的最小整数解