Style by SAT