19.95/20.75	unsat
