17.38/19.65	unsat
