add option to force SAT solver being used