平均基本流通股数的Delek US Holdings Inc.。