Write a Python function simple_sat_solve in a single argument clause set that solves the satisfiability of the clause_set by running through all truth assignments. In case the clause set is satisfiable it should output a satisfying assignment.

Note: its just a sat solver please read the instructions and the question carefully because I need it as soon as possible.

This is my third time posting this question and it has not been solved correctly yet so please follow the following instructions:

1. it should be able to take the cnf formula from a file in DIMACS format which I have a code for and it looks like this

p cnf 6 5

1 -2 -5 0

-1 6 0

-2 -3 0

3 -4 0

-4 5 -6 0

2. the code should be in python using the bolded functions

3. the output should be the satisfiable formula in the form of integers as shown in the DIMACS format file.