let integer_solve = ref false