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