TSTP Solution File: GEO039-3 by Refute---2015