loading SCIP...
11 42109 true
14 18 27 30 32 35 38 41 70 73 82