loading SCIP...
14 35891 true
0 3 20 30 35 40 51 52 55 56 57 60 74 81