3.38/3.51	unsat
