old updates, water-jug-problem3.pl solved