E20/3
Formato SAT

• E20_3.sat