loading SCIP...
17 33078 true
1 2 13 14 21 31 37 38 39 41 45 62 71 74 85 87 96