3.38/3.42	unsat
