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