-m cmd argument for mode, -b for backend
Thesis: strategies, sat solving + cnf transformation