次の文で示す患者の治療対象となる適切な病証はどれか。「寝つきが悪く、すぐに目がさめてなかなか寝つかれない。食後の腹部膨満感、軟便などがある。脈状は緩脈。」