1057.73/1060.02	unsat
