boolean_3var.lp 66 Bytes