Title: Manual for the SAT 2009 version 4.1