TSTP Solution File: GEO174+3 by Refute---2015