loading SCIP...
23 20141 true
0 3 4 11 14 17 19 25 30 36 37 44 45 46 51 56 59 65 73 83 90 94 99