Create SAT.rb