loading SCIP...
26 12907 true
2 8 10 17 18 19 20 30 33 40 41 45 55 60 61 63 68 78 82 83 88 92 93 94 97 99