"* 23 12 5 SAT"