Comment the solver code in the main