More concretely, suppose your child gives you p statements of the form that tile i needs to be colour

j$.$ Describe how you can modify the reduction you gave in $5\mathrm{.}1$ to make sure the solution produced by

the SAT solver assigns these tiles the desired colour.