18.45/18.80	unsat
