title: MiniZinc: Show choice points when unsatisfiable
body: <p>When running programs in MiniZinc, the -s flag lets me see the number of choice points explored while looking for a solution. However, if the conditions are unsatisfiable, the number of choice points explored is not shown.</p>
  
  <p>How can I show choice points even if the conditions are unsatisfiable?</p>