loading SCIP...
14 33156 true
11 14 26 28 30 45 48 49 51 58 64 71 82 99