loading SCIP...
9 27781 true
0 12 33 34 48 68 69 71 88