16.37/18.65	unsat
