loading SCIP...
23 20922 true
1 3 10 11 12 20 28 30 31 37 40 44 48 53 58 69 75 77 78 80 85 93 95