let solve _ () = failwith "not started"