SAT-Based PAC Learning of Description Logic Concepts