minisat requires *'s