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