loading SCIP...
17 34594 true
2 4 7 15 17 27 32 47 51 75 76 77 79 85 92 94 97