19.46/20.75	unsat
