sat problems in coal mining