18.35/19.80	unsat
