19.75/19.87	unsat
