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