A continuous-time MaxSAT solver with high analog performance