loading SCIP...
12 37453 true
14 20 27 34 45 58 60 65 78 83 86 92