18.95/19.75	unsat
