19.78/20.05	unsat
