in Input input_bool_opt.txt