Dove vs Hummingbird guitar. Satisfiability Modulo theories. (6+6+7)/3.

Sortiva GP Groot.