loading SCIP...
15 34015 true
1 2 10 22 26 33 37 40 48 56 58 63 68 72 73