loading SCIP...
14 37953 true
1 9 13 18 26 35 38 39 55 64 68 73 89 95