已发行普通股总数的Ramaco Resources, Inc.。