SOLVERS: 0_basic | 1_simple | 2_n2 | 3_prob | x_sources |