SAT: a Success Story Against Hard Problems