Fix to send num_solution as string to HASX