x(L_1,A) x(L_1,B) x(L_2,A) x(L_2,B) T p x(L_1,A) x(L_1,B) x(L_2,A) x(L_2,B) T p T + 1 SaveSolution T T x(L_1,2) x(L_2,2) T + 1 SaveSolution T T x(L_1,2) x(L_2,2)