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