Grails version of SAT program