18.38/18.46	unsat
