loading SCIP...
13 41593 true
5 6 7 8 33 37 47 57 59 71 73 92 96