SAT-based and Probabilistic Preimage Attacks on SHA-256