loading SCIP...
14 34891 true
0 6 13 17 25 32 47 53 61 65 83 89 92 96