(In)Effectiveness of Look-Ahead Techniques in a Modern SAT Solver