TSTP Solution File: GEO075-2 by Refute---2015