SAT-problem_Tree

Changed placement of spaces and output in main

Added unit-tests

Removed commented code

Initial commit

Initial commit