start solver