Deakstadieđáhus: Approximating Succinct MaxSat.