A support cushion including a first underlying layer made from a flexible foam, at least one side of the first underlying layer being configured with a non-plane surface. A second cable management section has a plurality of open-ended, U-shaped troughs separated by fingers. The MOS capacitors have improved frequency response. For each constraint in the list of constraints, a determination is made as to whether the SAT problem with the constraint results in the set of variable assignments remaining constant.