17.38/19.18	unsat
