Envoyer par SMS: A continuous-time MaxSAT solver with high analog performance