Implement a solver of LakeCounting