3sat Soddisfacibilità booleana