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