trying to solve the presolver output problems