loading SCIP...
14 38453 true
24 28 35 40 41 46 47 51 57 64 82 87 92 93