TSTP Solution File: QUA004^1 by SInE---0.4