No need to include cryptominisat -- just find it and link it
Don't do burst search, better solve() return function