let integer_solve = ref true