TSTP Solution File: GEO341+1 by Refute---2015