
 Solving problem p1-2-3
 Following case "case-p1-2"

Solution:
	<a1-1>
	<a1-2>
	<a1-3>
	<a2-1>
	<a2-2>
	<a2-3>


 Number of nodes 28
 Running Time 0.467

 Solving problem p1-2-3
 Following case "case-p2-1"

Solution:
	<a1-1>
	<a1-2>
	<a1-3>
	<a2-1>
	<a2-2>
	<a2-3>


 Number of nodes 28
 Running Time 0.4

 Solving problem p1-2-3
 Following case "case-p1-3"

Solution:
	<a1-1>
	<a1-2>
	<a1-3>
	<a2-1>
	<a2-2>
	<a2-3>


 Number of nodes 28
 Running Time 0.5

 Solving problem p1-2-3
 Following case "case-p3-1"

Solution:
	<a1-1>
	<a1-2>
	<a1-3>
	<a2-1>
	<a2-2>
	<a2-3>


 Number of nodes 28
 Running Time 0.433

 Solving problem p1-2-3
 Following case "case-p2-3"

Solution:
	<a1-1>
	<a1-2>
	<a1-3>
	<a2-1>
	<a2-2>
	<a2-3>


 Number of nodes 28
 Running Time 0.483

 Solving problem p1-2-3
 Following case "case-p3-2"

Solution:
	<a1-1>
	<a1-2>
	<a1-3>
	<a2-1>
	<a2-2>
	<a2-3>


 Number of nodes 28
 Running Time 0.4

 Solving problem p1-3-2
 Following case "case-p1-3"

Solution:
	<a1-1>
	<a1-2>
	<a1-3>
	<a2-1>
	<a2-2>
	<a2-3>


 Number of nodes 28
 Running Time 0.417

 Solving problem p1-3-2
 Following case "case-p3-1"

Solution:
	<a1-1>
	<a1-2>
	<a1-3>
	<a2-1>
	<a2-2>
	<a2-3>


 Number of nodes 28
 Running Time 0.433

 Solving problem p1-3-2
 Following case "case-p1-2"

Solution:
	<a1-1>
	<a1-2>
	<a1-3>
	<a2-1>
	<a2-2>
	<a2-3>


 Number of nodes 28
 Running Time 0.417

 Solving problem p1-3-2
 Following case "case-p2-1"

Solution:
	<a1-1>
	<a1-2>
	<a1-3>
	<a2-1>
	<a2-2>
	<a2-3>


 Number of nodes 28
 Running Time 0.45

 Solving problem p1-3-2
 Following case "case-p3-2"

Solution:
	<a1-1>
	<a1-2>
	<a1-3>
	<a2-1>
	<a2-2>
	<a2-3>


 Number of nodes 28
 Running Time 0.4

 Solving problem p1-3-2
 Following case "case-p2-3"

Solution:
	<a1-1>
	<a1-2>
	<a1-3>
	<a2-1>
	<a2-2>
	<a2-3>


 Number of nodes 28
 Running Time 0.467

 Solving problem p2-1-3
 Following case "case-p2-1"

Solution:
	<a1-1>
	<a1-2>
	<a1-3>
	<a2-1>
	<a2-2>
	<a2-3>


 Number of nodes 28
 Running Time 0.417

 Solving problem p2-1-3
 Following case "case-p1-2"

Solution:
	<a1-1>
	<a1-2>
	<a1-3>
	<a2-1>
	<a2-2>
	<a2-3>


 Number of nodes 28
 Running Time 0.417

 Solving problem p2-1-3
 Following case "case-p2-3"

Solution:
	<a1-1>
	<a1-2>
	<a1-3>
	<a2-1>
	<a2-2>
	<a2-3>


 Number of nodes 28
 Running Time 0.416

 Solving problem p2-1-3
 Following case "case-p3-2"

Solution:
	<a1-1>
	<a1-2>
	<a1-3>
	<a2-1>
	<a2-2>
	<a2-3>


 Number of nodes 28
 Running Time 0.4

 Solving problem p2-1-3
 Following case "case-p1-3"

Solution:
	<a1-1>
	<a1-2>
	<a1-3>
	<a2-1>
	<a2-2>
	<a2-3>


 Number of nodes 28
 Running Time 0.467

 Solving problem p2-1-3
 Following case "case-p3-1"

Solution:
	<a1-1>
	<a1-2>
	<a1-3>
	<a2-1>
	<a2-2>
	<a2-3>


 Number of nodes 28
 Running Time 0.45

 Solving problem p2-3-1
 Following case "case-p2-3"

Solution:
	<a1-1>
	<a1-2>
	<a1-3>
	<a2-1>
	<a2-2>
	<a2-3>


 Number of nodes 28
 Running Time 0.45

 Solving problem p2-3-1
 Following case "case-p3-2"

Solution:
	<a1-1>
	<a1-2>
	<a1-3>
	<a2-1>
	<a2-2>
	<a2-3>


 Number of nodes 28
 Running Time 0.416

 Solving problem p2-3-1
 Following case "case-p2-1"

Solution:
	<a1-1>
	<a1-2>
	<a1-3>
	<a2-1>
	<a2-2>
	<a2-3>


 Number of nodes 28
 Running Time 0.417

 Solving problem p2-3-1
 Following case "case-p1-2"

Solution:
	<a1-1>
	<a1-2>
	<a1-3>
	<a2-1>
	<a2-2>
	<a2-3>


 Number of nodes 28
 Running Time 0.4

 Solving problem p2-3-1
 Following case "case-p3-1"

Solution:
	<a1-1>
	<a1-2>
	<a1-3>
	<a2-1>
	<a2-2>
	<a2-3>


 Number of nodes 28
 Running Time 0.45

 Solving problem p2-3-1
 Following case "case-p1-3"

Solution:
	<a1-1>
	<a1-2>
	<a1-3>
	<a2-1>
	<a2-2>
	<a2-3>


 Number of nodes 28
 Running Time 0.467

 Solving problem p3-1-2
 Following case "case-p3-1"

Solution:
	<a1-1>
	<a1-2>
	<a1-3>
	<a2-1>
	<a2-2>
	<a2-3>


 Number of nodes 28
 Running Time 0.433

 Solving problem p3-1-2
 Following case "case-p1-3"

Solution:
	<a1-1>
	<a1-2>
	<a1-3>
	<a2-1>
	<a2-2>
	<a2-3>


 Number of nodes 28
 Running Time 0.484

 Solving problem p3-1-2
 Following case "case-p3-2"

Solution:
	<a1-1>
	<a1-2>
	<a1-3>
	<a2-1>
	<a2-2>
	<a2-3>


 Number of nodes 28
 Running Time 0.4

 Solving problem p3-1-2
 Following case "case-p2-3"

Solution:
	<a1-1>
	<a1-2>
	<a1-3>
	<a2-1>
	<a2-2>
	<a2-3>


 Number of nodes 28
 Running Time 0.4

 Solving problem p3-1-2
 Following case "case-p1-2"

Solution:
	<a1-1>
	<a1-2>
	<a1-3>
	<a2-1>
	<a2-2>
	<a2-3>


 Number of nodes 28
 Running Time 0.417

 Solving problem p3-1-2
 Following case "case-p2-1"

Solution:
	<a1-1>
	<a1-2>
	<a1-3>
	<a2-1>
	<a2-2>
	<a2-3>


 Number of nodes 28
 Running Time 0.417

 Solving problem p3-2-1
 Following case "case-p3-2"

Solution:
	<a1-1>
	<a1-2>
	<a1-3>
	<a2-1>
	<a2-2>
	<a2-3>


 Number of nodes 28
 Running Time 0.45

 Solving problem p3-2-1
 Following case "case-p2-3"

Solution:
	<a1-1>
	<a1-2>
	<a1-3>
	<a2-1>
	<a2-2>
	<a2-3>


 Number of nodes 28
 Running Time 0.417

 Solving problem p3-2-1
 Following case "case-p3-1"

Solution:
	<a1-1>
	<a1-2>
	<a1-3>
	<a2-1>
	<a2-2>
	<a2-3>


 Number of nodes 28
 Running Time 0.5

 Solving problem p3-2-1
 Following case "case-p1-3"

Solution:
	<a1-1>
	<a1-2>
	<a1-3>
	<a2-1>
	<a2-2>
	<a2-3>


 Number of nodes 28
 Running Time 0.433

 Solving problem p3-2-1
 Following case "case-p2-1"

Solution:
	<a1-1>
	<a1-2>
	<a1-3>
	<a2-1>
	<a2-2>
	<a2-3>


 Number of nodes 28
 Running Time 0.4

 Solving problem p3-2-1
 Following case "case-p1-2"

Solution:
	<a1-1>
	<a1-2>
	<a1-3>
	<a2-1>
	<a2-2>
	<a2-3>


 Number of nodes 28
 Running Time 0.4

nil
