file io; construct_solution