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