TSTP Solution File: GEO019-3 by Refute---2015