Submissions for team Nullstellensatz on problem Water Remaining