Using the main solver also for preprocessing.