some attempts to identify and fix the buggy solver