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