Removed main method with user-specific details
Added JMinisat test class; Corrected JMinisat library path; Added status constants