loading SCIP...
24 16719 true
1 5 7 8 13 20 21 26 30 38 40 44 46 52 56 59 61 62 70 81 85 91 96 98