Update time server problem doc, indicate 24 hour time

Problem statement was ambiguous about time format.