let solve input () = failwith "not implemented"