4 ms·Fun fact, also "hard" in this title is a formally defined term.by groestl 4y agoFun fact, also "hard" in this title is a formally defined term.rjbwork 4y agoExactly what clued me in. It's an NP-Hard problem so "Sat" + "hard" are inextricably linked in my brain.groestl 4y agoThat's what I meant.