Heyawake Rules

Heyawake is a logic puzzle originally created by Nikoli.

Shade squares so that every bordered region with a number contains the indicated number. Any contiguous orthogonal line of unshaded squares can only cross one border. Shaded squares may not share an edge, and all unshaded squares must be connected as one group.

See this example puzzle and its only solution.