For sure easier than solving it in SAT!