loading SCIP...
19 27532 true
1 3 9 12 16 19 23 35 39 50 56 57 66 75 77 82 88 92 94