loading SCIP...
9 36594 true
8 9 16 25 40 45 63 90 99