A New Algorithm For Sat Preprocessing