loading SCIP...
14 36485 true
25 27 34 39 40 44 52 58 65 68 69 72 77 85