ZYK / ZYKT
Formaatti SAT