TSTP Solution File: REL040+1 by Nitpick---2016