3.38/3.46	unsat
