loading SCIP...
30 9515 true
3 4 6 8 9 10 12 15 22 23 31 32 34 36 39 43 44 47 49 52 56 58 63 70 73 81 83 86 90 98