loading SCIP...
8 44734 true
17 26 28 61 62 90 91 99