CpuTime:  0.64157
