loading SCIP...
18 28641 true
2 7 15 20 24 25 33 35 36 40 42 43 47 51 63 92 95 97