loading SCIP...
28 10390 true
0 1 2 11 12 13 14 21 23 28 29 30 33 43 44 47 49 53 68 70 71 86 88 91 93 95 96 98