loading SCIP...
14 37437 true
5 23 24 27 28 35 40 42 46 49 53 81 90 94