Fixed SAT.java; release of version 0.9