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