TSTP Solution File: AGT019+1 by Nitpick---2016