4288 @ fullscreen 1080p and what I assume to be high gurafiku settings, though I couldn't really tell what difference it made. The lowest option looked sharper, which I assume means that it had no FXAA (or whatever) applied, but this looks aliased no matter the option, so...