Dinner Updated 1_July_a4_SAT

Dinner Updated 1_July_a4_SAT