fix bug with fixFeckingPresolve and tuning