Use Python or Matlab to implement complete enumeration to find the solution to the SAT. Then 1. use your Python or Matlab code to solve the following two SAT problem(s). (I) A SAT of a Boolean expression with 10 variables (2) A SAT of a Boolean F(x) = (s, vs, van expression v x )^(xvi, vx )^(xiv, val^(x va, v xi.) Use Python or Matlab to implement complete enumeration to find the solution to the TSP. Then use your Python or Matlab code to solve a TSP of 10 cities with the distances between cities given in the table below. 2. City 1 City 2 City 3 City 4 City 5 City 6 City 7 City 8 City 9 City 10 23 26.4 23 15 15.8 10.8 18.4 21.9 17 7.8 11.3 3.6 20 16 14.2 it City 2 City 3 10 15.3 6.4 12.1 18.1 13.2 10.6 19.7 3.6 3.6 3.6 6.4 10 715.7 10 4.2 13.9 City 5 15.3 12.110.6 7 9.9 15.3 City 6 City 7 City 8 20 18.1 15 15.7 9.9 25 14.9 15 16 13.2 15.8 14.2 10.6 10.8 1015.3 25 10.3 19.2 10.2 4.2 23 19.7 18.4 | 13.9 5 14.9 10.3 13 3.6 12 19.2 10.2 21 City 10 26.4 23 21.9 15 13 3.6 Please turn in your codes for the SAT and the TSP and your solution to each problem. Use Python or Matlab to implement complete enumeration to find the solution to the SAT. Then 1. use your Python or Matlab code to solve the following two SAT problem(s). (I) A SAT of a Boolean expression with 10 variables (2) A SAT of a Boolean F(x) = (s, vs, van expression v x )^(xvi, vx )^(xiv, val^(x va, v xi.) Use Python or Matlab to implement complete enumeration to find the solution to the TSP. Then use your Python or Matlab code to solve a TSP of 10 cities with the distances between cities given in the table below. 2. City 1 City 2 City 3 City 4 City 5 City 6 City 7 City 8 City 9 City 10 23 26.4 23 15 15.8 10.8 18.4 21.9 17 7.8 11.3 3.6 20 16 14.2 it City 2 City 3 10 15.3 6.4 12.1 18.1 13.2 10.6 19.7 3.6 3.6 3.6 6.4 10 715.7 10 4.2 13.9 City 5 15.3 12.110.6 7 9.9 15.3 City 6 City 7 City 8 20 18.1 15 15.7 9.9 25 14.9 15 16 13.2 15.8 14.2 10.6 10.8 1015.3 25 10.3 19.2 10.2 4.2 23 19.7 18.4 | 13.9 5 14.9 10.3 13 3.6 12 19.2 10.2 21 City 10 26.4 23 21.9 15 13 3.6 Please turn in your codes for the SAT and the TSP and your solution to each