16.37/18.52	unsat
