loading SCIP...
28 12735 true
1 3 4 11 13 16 20 28 33 35 38 41 42 44 45 46 47 50 51 58 59 64 68 69 82 85 97 99