NP
Tegningens filformat SAT