<code>return_model</code> seems a more self-explanatory argument. But adding this functionality to satisfiable probably seems a good idea.