loading SCIP...
17 28656 true
1 17 21 23 24 29 30 39 41 56 62 64 67 83 87 88 96