loading SCIP...
14 37500 true
1 8 18 20 26 36 37 38 45 47 49 70 80 96