TSTP Solution File: REL029+3 by Nitpick---2016