Compact Policies for Fully-Observable Non-Deterministic Planning as SAT