19.35/20.75	unsat
