19.75/19.86	unsat
