added support to handle dimacs input format