Augmented Electronic Ising Machine as an Effective SAT Solver