TSTP Solution File: PUZ028-4 by SInE---0.4