Using Witten Laplacians to locate index-1 saddle points