#103822. [BZOJ 3822] 文学

巨酱和主席是一对好朋友。他们都很喜欢读书，经常一起阅读相关领域书籍，进行系统的学习。一天主席列出了一份列表，里面共 本书，其中不乏《约翰克里斯多夫》，《名人传》等名著。作为一名在文学上有很高修养的知名青年，巨酱打算用尽量少的时间把这份列表中的所有书籍都读完。

作为一名文化人，巨酱阅读书籍的方式也与一般人不同。他使用一种叫做“批量阅读”的阅读方式。首先他根据自己的喜好，对每本书给出了参数 ，其中 本书的两个参数为 。当然，由于巨酱独特的口味，可能有两本不同的书，它们的 参数均相同。而每次阅读的时候，他会设置三个系数 ，所有满足 的书籍都可以通过这次“批量阅读”读完，这次批量阅读总共需要 的时间。

现在，巨酱有 种 “批量阅读”的方案，第 种“批量阅读”三个参数为 ，需要的时间为 。现在巨酱打算从这 种“批量阅读”中选出若干，使得巨酱可以用尽量少的时间读完所有的书。现在我们想知道，巨酱最少用多少时间？

第一行两个正整数 ，分别表示“批量阅读”的方案数以及书的数量。

接下来 行，每行四个整数，其中第 行包含四个整数 ，表示第 种“批量阅读”的方案。

接下来 行，每行两个整数，其中第 行包含两个整数 ，表示第 本书的参数。

一行一个整数，表示最少需要的时间。若无论如何也无法读完全部书籍，则输出 -1。

样例输入 #1

4 3
-1 0 0 10
-1 -1 -1 2
-1 1 -1 2
-1 -2 -1 1
0 2
0 -2
1 0

样例输出 #1

3

对于 的数据，对于任何一种“批量阅读”方案，其 与 不会同时为 ，且不存在 （ 不等于 ）使得 。

来源

年国家集训队测试。