test generate_solution