<s> """<STR_LIT>""" <EOL> import os . path <EOL> import borg <EOL> def test_max_sat_parser ( ) : <EOL> task_path = os . path . join ( os . path . dirname ( __file__ ) , "<STR_LIT>" ) <EOL> parser = borg . domains . max_sat . instance . DIMACS_Parser ( ) <EOL> with open ( task_path ) as task_file : <EOL> print parser . parse ( task_file . read ( ) ) </s>
