loading SCIP...
19 26953 true
0 3 10 13 15 21 23 28 30 31 56 57 68 77 78 91 92 96 98