19.78/19.87	unsat
