from .result import Result

class Marc(Result):

  def __init__(self):
    self.solver='Marc'