18.14/18.80	unsat
