Text this: Efficient digital quadratic unconstrained binary optimization solvers for SAT problems