loading SCIP...
24 18547 true
1 9 10 11 12 14 16 17 19 21 26 27 29 30 37 38 47 48 67 71 72 77 86 99