DAP Sarawak will cooperate with Keadilan in the coming polls only if the latter withdraws from Barisan Alternatif and publicly disassociates itself from PAS, which aims to form an Islamic state.