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