Q$1$: Demonstrate your understanding of the problem by showing the output needed for the graph in input$1.$ bxt$.$ Submit a file with the graph drawn and the corresponding output boolean formula that needs to be copy$/$pasted in the sat solver linked in the slides.

Q$2$: Write a program that solves $3-$coloring using the MiniSat solver, Your program should take as input a one of the text files above and outputs the correct boolean formula