solver is ill, maybe totally wrong