loading SCIP...
17 30328 true
3 7 9 10 13 15 39 40 47 50 55 61 73 76 88 89 95