Yet Satisfiability Again!

Team Team 2

Participating in Yet Satisfiability Again!

Name