19.75/19.83	unsat
