val solve : string -> string list -> unit