Using the jugs2.P program as a model, write a Prolog program to solve the 3 jug puzzle, where the jugs are of size 5, 11, and 13.