loading SCIP...
17 31187 true
0 2 7 10 14 17 28 35 44 45 59 68 71 83 84 85 96