Parallel SAT-MAP is accepted at SAT-2024.