Moved test for MaxSATProblem into its own file