loading SCIP...
16 30797 true
1 2 21 35 44 47 48 60 62 75 76 80 84 85 97 98