Sat Based Model Checking Without Unrolling