FEASTSMT 2015 R2 released in December 2015