TSTP Solution File: REL030+3 by Mace4---1109a