TSTP Solution File: PUZ012_1 by SInE---0.4