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