A Simple Planning Problem for COVID-19 Lock-down, Testing, and Tracing | Synapse