TSTP Solution File: SYO452^1 by Mace4---1109a