paper: TeXify the 17 vertex unembeddable graph