File:3SAT_17_svg.svg loading ...