TSTP Solution File: AGT019+1 by Refute---2015