麻烦阅读文件行（Java）

Question

所以基本上我需要一个带有输出的文件，如下所示：

sat
(model 
  (define-fun z97 () Int
    2)
  (define-fun z88 () Int
    8)

然后定义变量的值（即，设置z97 = 2和z88 = 8）。现在我尝试使用BufferedReader来逐行读取文件。但是看看它没有出现的文档，有一种方法可以在跟踪最后一行的同时进入BufferedReader的下一行，所以我不知道如何去解析它。我需要使用不同的课程吗？任何建议都会得到应用。