19.66/20.75	unsat
