If Solver could handle IF functions correctly, how would you use them in the Dorian production example to create an arguably more natural modelwithout binary variables? Run Solver on your modified model. Do you get the correct solution? (Note: You will have to use the GRG Nonlinear method.)