1次不等式の整数解