DeepSAT: An EDA-Driven Learning Framework for SAT