19.95/23.83	unsat
