loading SCIP...
10 44703 true
2 15 26 27 36 42 63 86 87 99