loading SCIP...
14 36640 true
7 12 18 23 25 38 52 55 74 76 77 92 94 98