loading SCIP...
9 42453 true
22 27 54 61 62 65 70 83 85