18.15/18.80	unsat
