TSTP Solution File: ALG290^5 by SETHEO---3.3