loading SCIP...
30 9141 true
1 3 4 6 7 9 10 15 17 18 22 25 28 31 40 47 51 56 58 60 63 66 69 72 73 77 78 85 90 97