Үүнийг мессежээр илгээх: GuaranteeNash for Boolean games is NEXP−hard