18.55/19.80	unsat
