formatting time > solution time