@book{242510,
	title = {Cracking the new SAT}
}