19.75/23.18	unsat
