loading SCIP...
30 7812 true
7 9 12 14 15 18 19 24 26 27 33 34 40 41 42 44 47 49 55 65 67 70 77 81 88 91 92 93 94 99