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