Add more sat tests