loading SCIP...
7 42968 true
9 15 33 45 66 67 88