loading SCIP...
30 9969 true
3 7 11 15 17 22 27 30 33 35 38 39 44 47 49 50 53 59 60 71 73 74 75 76 77 86 88 89 90 98