presolver problems continued