19.66/19.80	unsat
