18.05/18.80	unsat
