Verification of Sigmoidal Artificial Neural Networks using iSAT