TSTP Solution File: GEO095-1 by Refute---2015