- 10m - Chair Introduction (Wes) - 60m Problem Description: - 20m - Problem Statement and Assumptions (Thomas Hardjono) - 20m - Use-Cases for SAT (Rama Ramakrishna) - 20m - SAT Protocol (Martin Hargreaves) - 20m - Open discussion - 20m - Charter discussion - 10m - BOF questions and AD comments/questions