loading SCIP...
17 32172 true
1 3 7 14 23 26 34 45 50 53 55 59 61 67 79 97 98