3.38/3.44	unsat
