loading SCIP...
17 30671 true
1 6 13 14 15 27 30 36 40 42 45 51 60 66 75 87 99