loading SCIP...
22 22219 true
2 6 22 35 40 46 47 48 52 57 58 60 61 66 68 73 79 80 87 89 92 98