Submissions for team FormalAlbatross on problem waterstation waterstation