added sat -falsify
Added test cases for sat command