67.38/67.51	unsat
