18.38/18.45	unsat
