loading SCIP...
17 30500 true
1 2 16 19 21 30 31 43 46 55 56 70 73 77 80 81 94