Moved test for MaxSATProblem into its own file
Converted everything to spaces