Added tests for bool input to satisfiable